TAGs: PDL validity check